Decidable discriminator varieties from unary varieties
نویسندگان
چکیده
منابع مشابه
Decidable Discriminator Varieties from Unary Varieties
We determine precisely those locally finite varieties of unary algebras of finite type which, when augmented by a ternary discriminator, generate a variety with a decidable theory.
متن کاملDecidable discriminator varieties from unary classes
Let /C be a class of (universal) algebras of fixed type. /C* denotes the class obtained by augmenting each member of K, by the ternary discriminator function (/(x,y, z) = x if x / ?/, ^(x,x,z) = 2:), while V(/C*) is the closure of /C* under the formation of subalgebras, homomorphic images, and arbitrary Cartesian products. For example, the class of Boolean algebras is definitionally equivalent ...
متن کاملDecidable discriminator varieties with lattice stalks
We determine those universal classes of lattices which generate a decidable discriminator variety when augmented by a ternary discriminator term. They are the locally finite universal classes whose finite members are almost homogeneous.
متن کاملFinitely Decidable Congruence Modular Varieties
A class TZ~ of algebras of the same type is said to be finitely decidable iff the first order theory of the class of finite members of 'V is decidable. Let y be a congruence modular variety. In this paper we prove that if "V is finitely decidable, then the following hold. (1) Each finitely generated subvariety of 2^ has a finite bound on the cardinality of its subdirectly irreducible members. (...
متن کاملOn varieties of semigroups and unary algebras∗†
The elementary result of Variety theory is Eilenberg’s Variety theorem which was motivated by characterizations of several families of string languages by syntactic monoids or semigroups, such as Schützenberger’s theorem connecting star-free languages and aperiodic monoids. Eilenberg’s theorem has been extended in various directions. For example, Thérien involved varieties of congruences on fre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1991
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2275480